Relaxing the Value Restriction
نویسنده
چکیده
Restricting polymorphism to values is now the standard way to obtain soundness in ML-like programming languages with imperative features. While this solution has undeniable advantages over previous approaches, it forbids polymorphism in many cases where it would be sound. We use a subtyping based approach to recover part of this lost polymorphism, without changing the type algebra itself, and this has significant applications.
منابع مشابه
DL-Lite with Attributes, Datatypes and Sub-Roles (Full Version)
We extend the tractable DL-Lite languages by (i) relaxing the restriction on the allowed interaction between cardinality constraints and role inclusions; (ii) extending the languages with attributes and datatypes. On the one hand, we push the limits of the use of cardinality constraints over role hierarchies and also show effects of the ABox on allowed cardinality constraints. On the other hand...
متن کاملDL-Lite with Attributes and Sub-Roles (Full Version)
We extend the tractable DL-Lite languages by (i) relaxing the restriction on the allowed interaction between cardinality constraints and role inclusions; (ii) extending the languages with attributes. On the one hand, we push the limit on the use of number restrictions over role hierarchies and also show the effect of the presence of the ABox on such constraints. On the other hand, attributes—a ...
متن کاملValuation of Lease Contract and Credit Risk
Leasing has become a very important financial instrument today. A large amount of literature discusses the determination of lease rate. In this essay, we focus on the valuations of lease contracts and credit risk. First, we introduce both discrete and continuous time models to determine the equilibrium rate of risk-fiee lease contracts. Then, by relaxing the restriction of riskless leases, a mo...
متن کاملOn 5-Gons and 5-Holes
We consider an extention of a question of Erdős on the number of k-gons in a set of n points in the plane. Relaxing the convexity restriction we obtain results on 5-gons and 5-holes (empty 5-gons).
متن کاملThe Effect of Relaxing Music on the Life Distress and Maternal-fetal Attachment of Pregnant Women
Background: Although pregnancy and motherhood are enjoyable experiences, they are associated with many physical and psychological changes requiring adaptation. The present study aimed to assess the effectiveness of relaxing music on the life distress and maternal-fetal attachment of pregnant women. Methods: It was a quasi-experimental study with pre-test and post-test design and a control gr...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2002